Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
911	Microsoft PowerPoint - Doyle Add to Reading List Source URL: www.kiss.caltech.edu Language: English - Date: 2012-08-01 19:49:25 Systems engineering Formal methods Systems science Knowledge Quality Validation Verification and validation Software development process Simulation Pharmaceutical industry Validity Science
912	Process Understanding & Improvement Introduction Processes are the fundamental building blocks of all organisations, and both process understanding and process improvement form the lifeblood of total quality organisation Add to Reading List Source URL: www.businessballs.com Language: English - Date: 2006-10-17 07:59:21 Business process Systems engineering Formal methods Information technology management Enterprise modelling Benchmarking Software development process Performance metric Productivity Business Management Process management
913	4 BIG DATA Francis Diebold[removed]traces the etymology of the term ‘big data’ to the mid-1990s, first used by John Mashey, retired former Chief Scientist at Silicon Graphics, to refer to handling and analysis of mass Add to Reading List Source URL: www.uk.sagepub.com Language: English - Date: 2014-08-13 19:19:41 Formal sciences Database management systems Database theory Transaction processing Big data Petabyte Database Backup Analytics Technology Data management Information
914	Integrating Imaging and Analytical Technologies for Conservation Practice Add to Reading List Source URL: www.getty.edu Language: English - Date: 2014-05-05 20:58:05 Data management Information Formal sciences Emerging technologies Database management systems Data mining Data visualization Geographic information system Data fusion Science Technology Data analysis
915	IEEE Systems Council Analytics and Risk Technical Committee Meeting Inaugural Meeting – Thursday, August 7th, 9:40-10:40, Eastern Dash Wu convened the meeting. IEEE SC: Roger Oliva advised the whole meeting. Add to Reading List Source URL: www.ieeesystemscouncil.org Language: English - Date: 2014-08-14 08:19:27 Management Business Actuarial science Risk management International nongovernmental organizations Analytics Risk Institute of Electrical and Electronics Engineers Data mining Business intelligence Formal sciences Statistics
916	LEVEL II MEMORANDUM DATE: July 5, 2011 TO: Add to Reading List Source URL: mus.edu Language: English - Date: 2011-08-01 13:24:26 Formal sciences Systems theory Environmental social science Association of Public and Land-Grant Universities Ecology Systems ecology Ecosystem ecology Montana State University Restoration ecology Science Environment Biology
917	The State of the Art in Supporting “Big Data” by Michael Stonebraker Add to Reading List Source URL: web.mit.edu Language: English - Date: 2014-08-05 09:23:23 Formal sciences Business intelligence Database management systems Database theory Emerging technologies Apache Hadoop Big data Data warehouse Data mining Data management Computing Technology
918	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:09:36 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport
919	J Autom Reasoning[removed]:[removed]DOI[removed]s10817[removed]Differential Dynamic Logic for Hybrid Systems Andr´ e Platzer Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:09:43 Differential equations Systems theory Model theory Formal languages Predicate logic Hybrid system Hybrid automaton Dynamical system KeY Logic Mathematical logic Mathematics
920	Challenges and Opportunities with Big Data A community white paper developed by leading researchers across the United States Executive Summary The promise of data-driven decision-making is now being recognized broadly, a Add to Reading List Source URL: www.purdue.edu Language: English - Date: 2012-03-23 10:55:54 Business intelligence Database management systems Formal sciences Data analysis Data mining Database Data model Metadata Data cleansing Data management Information Data

UPDATE